COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	                      Proposed Budget - Revised April 1982
C00006 ENDMK
C⊗;
                      Proposed Budget - Revised April 1982

                 Professor John McCarthy, Principal Investigator
               "Mechanical Theorem Proving and Development of EKL"
                                 9/1/82-9/1/85




                                      9/1/82-      9/1/83-     9/1/84-       Total
                                      8/31/83      8/31/84     8/31/85

Salaries

  Faculty
    John McCarthy, Principal Investigator
      (part-time, no cost to project)

  Research Associate
    Jussi Ketonen
      (100%, 12 months)               36,960       40.656      44.722      122.338

  Student Research Assistant
    (50%, academic year,
    100%, 3 months summer)            10,907       11,998      13,198       36,103

  Staff Support
    (10%, 12 months)                   1,617        1,779       1,957        5,353
                                     _______      _______     _______      _______

Total Salaries                        49,484       54.433      59,877      163,794

Staff Benefits
  9/1/82-8/31/83  20.4%
  9/1/83-8/31/84  22.1%
  9/1/84-8/31/85  22.4%               10,095       12,030      13,412       35,537

Travel
  Domestic - 1 trip East Coast
    (Air fare and per diem)            1,500        1,750       1,925        5,175

Expendables (Phone, postage, 
             supplies, etc.            1,500        1,650       1,815        4,965

Publications                             750          825         900        2,475

Computer Usage                         7,232        7,955       8,751       23,938
                                     _______      _______     _______      _______


Total Direct Costs                    70,561       78,643      86,680      235,884

Indirect Costs - 69%                  48,687       54,264      59,809      162,760
                                     _______      _______     _______      _______


TOTAL COSTS                          119,248      132,907     146,489      398,644